most general unifier

См. также в других словарях:

• Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… …   Wikipedia

• Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

• Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

• Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… …   Wikipedia

• Unification — Pour les articles homonymes, voir Unification (homonymie). Le concept d unification est une notion centrale de la logique des prédicats ainsi que d autres systèmes de logique et est sans doute ce qui distingue le plus Prolog des autres langages… …   Wikipédia en Français

• Unification — In mathematical logic, in particular as applied to computer science, a unification of two terms is a join (in the lattice sense) with respect to a specialisation order. That is, we suppose a preorder on a set of terms, for which t * ≤ t means… …   Wikipedia

• MGU (disambiguation) — The acronym MGU may refer to:*Moscow State University * Managing General Underwriters: a distribution partner for insurance carriers * Most General Unifier …   Wikipedia

• Unificateur — Unification Voir « unification » sur le Wiktionnaire …   Wikipédia en Français

• Unification (logique) — Unification Voir « unification » sur le Wiktionnaire …   Wikipédia en Français

• Unifié — Unification Voir « unification » sur le Wiktionnaire …   Wikipédia en Français

• MGU — steht als Abkürzung für: die Moskowski Gossudarstwenny Uniwersitet, die Moskauer Lomonossow Universität Mindestgesprächsumsatz, siehe Mindestumsatz. most general unifier (kleinster gemeinsamer Unifikator), siehe Unifikation (Logik) MG U steht für …   Deutsch Wikipedia